Notes on Effective Descriptive Set Theory
نویسندگان
چکیده
منابع مشابه
Lectures on Infinitary Model Theory
Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in 40 years, and will bring students and researchers in all areas of mathematical logic up to the threshold of modern research. The classical topics of back-and-forth systems, m...
متن کاملLecture Notes on Descriptive Set Theory
Metric spaces, Borel and analytic sets, Baire property and measurability, dichotomies, equivalence relations. Possible topics: determinacy, group actions, rigidity, turbulence.
متن کاملVienna notes on effective descriptive set theory and admissible sets
These notes are based around the exposition of a sequence of connected ideas: ∆1 and Π 1 1 and Σ 1 1 sets; admissible structures; ω 1 ; recursive well founded relations; ordinal analysis of trees; Barwise compactness; Gandy-Harrington forcing. I am not going to discuss applications of these techniques – though there are striking applications such as Harrington’s proof of Silver’s theorem, or th...
متن کاملTowards Synthetic Descriptive Set Theory: An instantiation with represented spaces
Using ideas from synthetic topology, a new approach to descriptive set theory is suggested. Synthetic descriptive set theory promises elegant explanations for various phenomena in both classic and effective descriptive set theory. Presently, we mainly focus on developing the ideas in the category of represented spaces.
متن کاملElements of DESCRIPTIVE SET THEORY Spring 2013
In these notes we go through the very basic results from descriptive set theory. In our approach to the topic, the use of games is more explicit than what is usual in the literature. We do not assume any previous knowledge on set theory nor on first-order logic. For the history of the topic, see [Mo] (Borel* sets are due to D. Blackwell and Vaught codes are due to R. Vaught). For further readin...
متن کامل